$\vdash$${\it es}$.locl("b") sends ["tg",$\lambda$$x$.$x$\{$\mathbb{B}\rightarrow\mathbb{B}$\}("done")] on link lnk1\{loc1 to loc2\} once